Comparing approaches to free dcpo-algebra constructions

Semantic Constructions for Hidden Algebra

Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of their states, as well as their observational aspect, concerned with the observable b ehaviour of such states. When attention is restricted to the observational aspect, final/cofree constructions provide suitable denotations fo...

Comparing constructions through the Web

Much of the richness of a collaborative learning environment comes from the differing constructions that different learners bring to the learning domain. However, the differences in terminology and its usage that stem from different construct systems can also be major impediments to collaboration. Techniques from personal construct psychology may be used to make such tacit differences overt and...

Comparing Approaches to Performance Measurement

Performance measurement has become so widespread that it is impossible to know all that is taking place within governments across the world.1 Also, the labels and the focus of performance measurement systems shift, usually when a new government takes office. Positive, action-oriented words are usually chosen as names for such systems — 'Measuring Up' in Alberta, the 'Oregon Benchmarks', the 'Mi...

An invitation to General Algebra and Universal Constructions

Comparing Approaches to Generic Programming in Haskell

The last decade has seen a number of approaches to datatype-generic programming: PolyP, Functorial ML, ‘Scrap Your Boilerplate’, Generic Haskell, ‘Generics for the Masses’, and so on. The approaches vary in sophistication and target audience: some propose fullblown programming languages, some suggest libraries, some can be seen as categorical programming methods. In these lecture notes we compa...